Logic in computer science - PDFSEARCH.IO - Document Search Engine

Logic in computer science
Results: 2713

#	Item
731	FLOC 2014 Jan Otop IST Austria September 3, 2013 Add to Reading List Source URL: eacsl.kahle.ch Language: English - Date: 2013-12-11 10:24:19 Federated Logic Conference One Tambon One Product IEEE Symposium on Logic in Computer Science Kurt Gödel Society City Airport Train Vienna Kurt Gödel Schengen Area Europe Political geography Austria
732	SEARCH, Computational Processes in Evolution, and Preliminary Development of the Gene Expression Messy Genetic Algorithm Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-10-10 16:17:59 Equivalence relation Binary relation Function Total order Selection algorithm Structure Algorithm Genetic algorithm Mathematics Mathematical logic Theoretical computer science
733	Program Verification as Satisfiability Modulo Theories Nikolaj Bjørner Microsoft Research Ken McMillan Microsoft Research Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-08-15 16:20:10 Applied mathematics Electronic design automation Logic in computer science NP-complete problems Constraint programming Satisfiability Modulo Theories Boolean satisfiability problem Prolog Predicate transformer semantics Theoretical computer science Mathematics Formal methods
734	Preventing Arithmetic Overflows in Alloy Aleksandar Milicevica,∗, Daniel Jacksona a Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory, Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2014-07-07 17:53:08 Model theory Semantics Predicate logic Formal languages Metalogic First-order logic Alloy Analyzer Alloy Integer overflow Logic Mathematical logic Mathematics
735	REES: Reasoning Engine(s) Evaluation Shell Radu Marinescu, Kalev Kask and Rina Dechter School of Information and Computer Science University of California, Irvine {radum,kkask,} Abstract Add to Reading List Source URL: graphmod.ics.uci.edu Language: English - Date: 2009-05-10 16:30:49 Theoretical computer science Graphical models Applied mathematics Algorithm Mathematical logic Mathematical sciences Bayesian network Plug-in Parameter Bayesian statistics Statistical models Mathematics
736	design Editor: Martin Fowler ■ T h o u g h t Wo r k s Add to Reading List Source URL: martinfowler.com Language: English - Date: 2015-05-25 11:37:26 Cross-platform software Control flow Assertion Debugging Logic in computer science Software bugs Exception handling Null Java Software engineering Computing Computer programming
737	Exploiting symmetries in logistics distribution planning Add to Reading List Source URL: www.mssanz.org.au Language: English - Date: 2013-01-15 22:34:44 NP-complete problems Analysis of algorithms Algorithm Mathematical logic Travelling salesman problem Logistics Symmetry in mathematics Time complexity Vehicle routing problem Theoretical computer science Computational complexity theory Applied mathematics
738	Problem Solving in Graphical models Rina Dechter, Donald Bren School of Information and Computer Science, UC-Irvine Graphical models, including constraint networks, belief networks, Markov random fields and influence Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2012-12-28 02:42:27 Theoretical computer science Bayesian statistics Networks Probability and statistics Applied mathematics Bayesian network Probabilistic logic Algorithm Decomposition method Statistics Graphical models Statistical models
739	Randomized Testing in PLT Redex Casey Klein Robert Bruce Findler University of Chicago Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:22:01 Logic in computer science Programming language semantics Predicate logic Reduction strategy Operational semantics Robert Bruce Findler Free variables and bound variables Eval Scheme Software engineering Computing Programming language theory
740	Weak βη-Normalization and Normalization by Evaluation for System F Andreas Abel Department of Computer Science Ludwig-Maximilians-University Munich Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2008-09-11 16:49:25 Lambda calculus Logic in computer science Combinatory logic Valuation Normalisation by evaluation Sheaf Natural deduction Limit set Abstract algebra Mathematics Theoretical computer science

UPDATE